javascript - 用户脚本和 Greasemonkey : calling a website\'s JavaScript functions